Modeling Business Processes - A Petri Net-Oriented Approach
نویسندگان
چکیده
منابع مشابه
INCOME2010 - a toolset for developing process-oriented information systems based on petri nets
Petri nets are widely accepted as a process modeling technique with formal semantics and mathematical foundation. They are well suitable for modeling (business) processes in executable form and for analyzing process models through simulative validation and formal verification. Nevertheless, there are currently only a small number of Petri net based tools available for developing process-oriente...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملTowards Agent-Based Modeling and Verification of Collaborative Business Processes: an Approach Centered on Interactions and Behaviors
This paper presents the process-oriented aspects of a formal and visual agent-based business process modeling language. The language is of use for (networks of) organizations that elect or envisage multi-agent systems for the support of collaborative business processes. The paper argues that the design of a collaborative business process should start with a proper understanding of the work prac...
متن کاملIntegrating Organizational Semiotic Approach with the Temporal Aspects of Petri Nets for Business Process Modeling
p. ix Conference Committee p. xi Invited Papers Obtaining Precision When Integrating Information p. 1 From Object-Oriented Programming to Ontology-Driven Modeling p. 15 Agents and Electronic Commerce, Hype and Reality p. 22 Must a Computer Have a User? p. 36 Resource Allocation in Large Scale Systems, a Decoupling Approach p. 41 Databases and Information Systems Integration Iodbcon: An Integrat...
متن کاملBusiness Process Modeling using Petri Nets with Clocks
Petri Nets are tools for the analysis and design of concurrent systems. There is a formal theory, which supports Petri Nets. We propose Petri Nets with Clocks which has a high expressive power in the concurrent and asynchronous process modeling and gives the possibility to model real time systems. The Petri Nets with Clocks are useful to model systems with temporal requirements via specificatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011